Characteristic set method for differential–difference polynomial systems
نویسندگان
چکیده
منابع مشابه
Characteristic set method for differential-difference polynomial systems
In this paper, we present a characteristic set method for mixed differential and difference polynomial systems. We introduce the concepts of coherent, regular, proper irreducible, and strongly irreducible ascending chains and study their properties. We give an algorithm which can be used to decompose the zero set for a finitely generated differential and difference polynomial sets into the unio...
متن کاملA characteristic set method for ordinary difference polynomial systems
We prove several basic properties for difference ascending chains including a necessary and sufficient condition for an ascending chain to be the characteristic set of its saturation ideal and a necessary and sufficient condition for an ascending chain to be the characteristic set of a reflexive prime ideal. Based on these properties, we propose an algorithm to decompose the zero set of a finit...
متن کاملOn the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method
An improved characteristic set algorithm for solving Boolean polynomial systems is proposed. This algorithm is based on the idea of converting all the polynomials into monic ones by zero decomposition, and using additions to obtain pseudo-remainders. Three important techniques are applied in the algorithm. The first one is eliminating variables by new generated linear polynomials. The second on...
متن کاملCharacteristic polynomial method for verification and test of combinational circuits
– This paper gives a new and efficient method of determining the equivalence of two given Boolean functions. We define a characteristic polynomial directly from the sum-of-product form of the logic function. The polynomial contains a real variable corresponding to each Boolean variable. Logical operations on the Boolean function correspond to arithmetic operations on the polynomial. We show tha...
متن کاملPolynomial and non-polynomial solutions set for wave equation with using Lie point symmetries
This paper obtains the exact solutions of the wave equation as a second-order partial differential equation (PDE). We are going to calculate polynomial and non-polynomial exact solutions by using Lie point symmetry. We demonstrate the generation of such polynomial through the medium of the group theoretical properties of the equation. A generalized procedure for polynomial solution is pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2009
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2008.02.010